- истинное подмножество
- ді́йсна підмножина́, і́стинна підмножина́
Русско-украинский политехнический словарь. 2013.
Русско-украинский политехнический словарь. 2013.
ВОПРОС — тип суждения, предполагающий недостаток информации о соответствующем объекте и требующий ответа, объяснения. Логическая структура любого В. включает: 1) базисную информацию то, что уже известно; 2) неизвестное то, на что направлен В.; 3)… … Новейший философский словарь
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
ИССЛЕДОВАНИЕ ОПЕРАЦИЙ — построение, разработка и приложения математич. моделей принятия оптимальных решений. Содержанием теоретич. аспекта И. о. являются анализ и решение математич. задач выбора в заданном множестве допустимых решений Xэлемента, удовлетворяющего тем или … Математическая энциклопедия
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия
РМГ 83-2007: Государственная система обеспечения единства измерений. Шкалы измерений. Термины и определения — Терминология РМГ 83 2007: Государственная система обеспечения единства измерений. Шкалы измерений. Термины и определения: ( измерений ): Отображение множества различных проявлений количественного или качественного свойства на принятое по… … Словарь-справочник терминов нормативно-технической документации
ПУСТОЕ — (в математике и логике) – то же, что не содержащее элементов (членов) . Так, П. множество (или класс) – это множество (соответственно класс ), не имеющее ( ий) элементов; П. слово (в формализованных языках математики и математич. логики) – слово … Философская энциклопедия
КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ — КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ концепция, сводящая проблему истинности к критерию когерентности (coherence) самосогласованности, непротиворечивости: напр., предложение истинно, если оно является элементом логически взаимосвязанной и когерентной… … Философская энциклопедия
когерентная теория истины — КОГЕРЕНТНАЯ ТЕОРИЯ ИСТИНЫ (от лат. cohaerentia сцепление, связь) концепция, сводящая проблему истинности к критерию самосогласованности, непротиворечивости: напр., предложение истинно, если оно является элементом логически взаимосвязанной … Энциклопедия эпистемологии и философии науки
отношение — ОТНОШЕНИЕ множество упорядоченных п ок индивидов (где п > 1), т.е. двоек, троек и т.д. Число п называется «местностью», или «арностью», О. и, соответственно, говорят о n местном (п арном) О. Так, например, двуместное О. называют… … Энциклопедия эпистемологии и философии науки